On characteristic and parametric representations of boolean sets
نویسنده
چکیده
Representing large boolean sets has many important application areas, including hardware verification. There are two main approaches: the characteristic and parametric representation. This note describes the approaches and briefly compares them
منابع مشابه
Omega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملPropagation Models and Fitting Them for the Boolean Random Sets
In order to study the relationship between random Boolean sets and some explanatory variables, this paper introduces a Propagation model. This model can be applied when corresponding Poisson process of the Boolean model is related to explanatory variables and the random grains are not affected by these variables. An approximation for the likelihood is used to find pseudo-maximum likelihood esti...
متن کاملOn generalized reduced representations of restricted Lie superalgebras in prime characteristic
Let $mathbb{F}$ be an algebraically closed field of prime characteristic $p>2$ and $(g, [p])$ a finite-dimensional restricted Lie superalgebra over $mathbb{F}$. It is showed that anyfinite-dimensional indecomposable $g$-module is a module for a finite-dimensional quotient of the universal enveloping superalgebra of $g$. These quotient superalgebras are called the generalized reduced enveloping ...
متن کاملComparison of parametric and fuzzy analytic hierarchy process in land evaluation (Case study: Varamin region)
In last decades, the skillful planning of land resources has become a major issue for rural development. The development of cultivated areas becomes gradually impossible due to ever increasing population growth and urban development. Fuzzy logic is preferred to Boolean logic for land evaluation, because fuzzy techniques lead to estimate for land use suitability on a continuous scale and can the...
متن کاملCompleteness results for metrized rings and lattices
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...
متن کامل